• Home
• Categories
• Quantum Computing and Information

Quantum Computing and Information

A Decidable Dynamic Logic for Quantum Reasoning

Quantum Physics / Logic / Quantum Logic / Quantum Information Theory / Dynamic Logic / Quantum Computing and Information

Download

PLQP & Company: Decidable Logics for Quantum Algorithms

Quantum Logic / Quantum Computing and Information

Download